Classical logic

"Classical logic" in a Sentence (1 examples)

The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.

Next best steps

Read the blog